Rance Cleaveland : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (64)
Les plus populaires
Liste
- Liste
- Tableau

1

[Lecture Notes in Computer Science] From Reactive Systems to Cyber-Physical Systems Volume 11500 (Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday) ||

Bartocci, Ezio, Cleaveland, Rance, Grosu, Radu, Sokolsky, Oleg

Année:

2019

Langue:

english

Fichier:

PDF, 27.67 MB

english, 2019

2

Executable Specifications for Real-Time Distributed Systems

Arnab Ray, Rance Cleaveland

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 373 KB

english, 2008

3

Tableau-based model checking in the propositional mu-calculus

Rance Cleaveland

Journal:

Acta Informatica

Année:

1990

Langue:

english

Fichier:

PDF, 1.20 MB

english, 1990

4

Formal verification of software-based medical devices considering medical guidelines

Zamira Daw, Rance Cleaveland, Marcus Vetter

Journal:

International Journal of Computer Assisted Radiology and Surgery

Année:

2014

Langue:

english

Fichier:

PDF, 683 KB

english, 2014

5

The concurrency workbench: a semantics-based tool for the verification of concurrent systems

Cleaveland, Rance, Parrow, Joachim, Steffen, Bernhard

Journal:

ACM Transactions on Programming Languages and Systems

Année:

1993

Langue:

english

Fichier:

PDF, 2.21 MB

english, 1993

6

[IEEE 2011 9th Working IEEE/IFIP Conference on Software Architecture (WICSA) - Boulder, CO, USA (2011.06.20-2011.06.24)] 2011 Ninth Working IEEE/IFIP Conference on Software Architecture - Architecture Reconstruction and Analysis of Medical Device Software

Ganesan, Dharmalingam, Lindvall, Mikael, Cleaveland, Rance, Jetley, Raoul, Jones, Paul, Zhang, Yi

Année:

2011

Langue:

english

Fichier:

PDF, 354 KB

english, 2011

7

[IEEE 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) - Shenzhen, China (2016.12.15-2016.12.18)] 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) - CyberCardia project: Modeling, verification and validation of implantable cardiac devices

Islam, Md. Ariful, Lim, Hyunkyung, Paoletti, Nicola, Abbas, Houssam, Jiang, Zhihao, Cyranka, Jacek, Cleaveland, Rance, Gao, Sicun, Clarke, Edmund, Grosu, Radu, Mangharam, Rahul, Cherry, Elizabeth, Fen

Année:

2016

Langue:

english

Fichier:

PDF, 1.07 MB

english, 2016

8

Hiding resources that can fail: An axiomatic perspective

Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka

Journal:

Information Processing Letters

Année:

2001

Langue:

english

Fichier:

PDF, 144 KB

english, 2001

9

Distributed prototyping from validated specifications

David Hansel, Rance Cleaveland, Scott A. Smolka

Journal:

Journal of Systems and Software

Année:

2004

Langue:

english

Fichier:

PDF, 638 KB

english, 2004

10

Generic tools for verifying concurrent systems

Rance Cleaveland, Steven T. Sims

Journal:

Science of Computer Programming

Année:

2002

Langue:

english

Fichier:

PDF, 75 KB

english, 2002

11

Modeling and verifying active structural control systems

Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.

Journal:

Science of Computer Programming

Année:

1997

Langue:

english

Fichier:

PDF, 1.66 MB

english, 1997

12

The role of observations in probabilistic open systems

Murali Narasimha, Rance Cleaveland, Purushothaman Iyer

Journal:

Electronic Notes in Theoretical Computer Science

Année:

1999

Langue:

english

Fichier:

PDF, 626 KB

english, 1999

13

Preface: Volume 14, Isuue 1

Rance Cleaveland, Michael Mislove, Philip Mulry

Journal:

Electronic Notes in Theoretical Computer Science

Année:

1998

Langue:

english

Fichier:

PDF, 44 KB

english, 1998

14

Preface: Volume 66, Issue 2

Rance Cleaveland, Hubert Garavel

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 53 KB

english, 2002

15

Verification of an active control system using temporal process algebra

Wael M. Elseaidy, John W. Baugh, Rance Cleaveland

Journal:

Engineering with Computers

Année:

1996

Langue:

english

Fichier:

PDF, 1.48 MB

english, 1996

16

Testing equivalence as a bisimulation equivalence

Rance Cleaveland, Matthew Hennessy

Journal:

Formal Aspects of Computing

Année:

1993

Langue:

english

Fichier:

PDF, 1.05 MB

english, 1993

17

A linear-time model-checking algorithm for the alternation-free modal mu-calculus

Rance Cleaveland, Bernhard Steffen

Journal:

Formal Methods in System Design

Année:

1993

Langue:

english

Fichier:

PDF, 1.30 MB

english, 1993

18

Type theory and concurrency

Rance Cleaveland, Prakash Panangaden

Journal:

International Journal of Parallel Programming

Année:

1988

Langue:

english

Fichier:

PDF, 2.29 MB

english, 1988

19

Generating diagnostic information for behavioral preorders

Ufuk Celikkan, Rance Cleaveland

Journal:

Distributed Computing

Année:

1995

Langue:

english

Fichier:

PDF, 3.00 MB

english, 1995

20

Unit verification: the CARA experience

Arnab Ray, Rance Cleaveland

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2004

Langue:

english

Fichier:

PDF, 615 KB

english, 2004

21

Pragmatics of model checking: an STTT special section

Rance Cleaveland

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

1999

Langue:

english

Fichier:

PDF, 208 KB

english, 1999

22

Editorial

W. Rance Cleaveland, Tiziana Margaria, Bernhard Steffen

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

1997

Langue:

english

Fichier:

PDF, 197 KB

english, 1997

23

Local model checking and protocol analysis

Xiaoqun Du, Scott A. Smolka, Rance Cleaveland

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

1999

Langue:

english

Fichier:

PDF, 317 KB

english, 1999

24

Preface by the section editor

Rance Cleaveland

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2001

Langue:

english

Fichier:

PDF, 73 KB

english, 2001

25

Formal Modeling Of Middleware-based Distributed Systems

Arnab Ray, Rance Cleaveland

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2004

Langue:

english

Fichier:

PDF, 263 KB

english, 2004

26

An Algebraic Theory Of Boundary Crossing Transitions

Arnab Ray, Rance Cleaveland, Arne Skou

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 339 KB

english, 2005

27

Probabilistic temporal logics via the modal mu-calculus

Rance Cleaveland, S. Purushothaman Iyer, Murali Narasimha

Journal:

Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 389 KB

english, 2005

28

Guest Editorial

Rance Cleaveland, Daniel Jackson

Journal:

Automated Software Engineering

Année:

1999

Langue:

english

Fichier:

PDF, 13 KB

english, 1999

29

A practical approach to implementing real-time semantics

Girish Bhat, Rance Cleaveland, Gerald Lüttgen

Journal:

Annals of Software Engineering

Année:

1999

Langue:

english

Fichier:

PDF, 250 KB

english, 1999

30

Testing Preorders for Probabilistic Processes

Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen

Journal:

Information and Computation

Année:

1999

Langue:

english

Fichier:

PDF, 556 KB

english, 1999

31

Priorities in process algebras

Rance Cleaveland, Matthew Hennessy

Journal:

Information and Computation

Année:

1990

Langue:

english

Fichier:

PDF, 1.05 MB

english, 1990

32

Priority and abstraction in process algebra

Rance Cleaveland, Gerald Lüttgen, V. Natarajan

Journal:

Information and Computation

Année:

2007

Langue:

english

Fichier:

PDF, 400 KB

english, 2007

33

Using formal specifications to support testing

Hierons, Robert M., Krause, Paul, Lüttgen, Gerald, Simons, Anthony J. H., Vilkomir, Sergiy, Woodward, Martin R., Zedan, Hussein, Bogdanov, Kirill, Bowen, Jonathan P., Cleaveland, Rance, Derrick, John,

Journal:

ACM Computing Surveys

Année:

2009

Langue:

english

Fichier:

PDF, 712 KB

english, 2009

34

Strategic directions in concurrency research

Cleaveland, Rance, Smolka, Scott A.

Journal:

ACM Computing Surveys

Année:

1996

Langue:

english

Fichier:

PDF, 316 KB

english, 1996

35

[ACM Press Companion the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 - Assessing model-based testing: an empirical study conducted in industry

Schulze, Christoph, Ganesan, Dharmalingam, Lindvall, Mikael, Cleaveland, Rance, Goldman, Daniel

Année:

2014

Langue:

english

Fichier:

PDF, 1.12 MB

english, 2014

36

[IEEE 30th Annual International Computer Software and Applications Conference (COMPSAC'06) - Chicaco, IL (2006.09.17-2006.09.21)] 30th Annual International Computer Software and Applications Conference (COMPSAC'06) - A Software Architectural Approach to Security by Design

Ray, Arnab, Cleaveland, Rance

Année:

2006

Langue:

english

Fichier:

PDF, 2.91 MB

english, 2006

37

[IEEE 2009 16th Working Conference on Reverse Engineering - Lille, France (2009.10.13-2009.10.16)] 2009 16th Working Conference on Reverse Engineering - Recovering Views of Inter-System Interaction Behaviors

Ackermann, Christopher, Lindvall, Mikael, Cleaveland, Rance

Année:

2009

Langue:

english

Fichier:

PDF, 368 KB

english, 2009

38

[IEEE 2009 20th International Symposium on Software Reliability Engineering (ISSRE) - Mysuru, Karnataka, India (2009.11.16-2009.11.19)] 2009 20th International Symposium on Software Reliability Engineering - Towards Behavioral Reflexion Models

Ackermann, Christopher, Lindvall, Mikael, Cleaveland, Rance

Année:

2009

Langue:

english

Fichier:

PDF, 514 KB

english, 2009

39

[IEEE 2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE) - San Francisco, CA, USA (2013.05.19-2013.05.19)] 2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE) - Constructing safety assurance cases for medical devices

Ray, Arnab, Cleaveland, Rance

Année:

2013

Langue:

english

Fichier:

PDF, 132 KB

english, 2013

40

A menagerie of timed automata

Fontana, Peter, Cleaveland, Rance

Journal:

ACM Computing Surveys

Année:

2014

Langue:

english

Fichier:

PDF, 1.25 MB

english, 2014

41

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - Validating Automotive Control Software Using Instrumentation-Based Verification

Ray, Arnab, Morschhaeuser, Iris, Ackermann, Chris, Cleaveland, Rance, Shelton, Charles, Martin, Chris

Année:

2009

Langue:

english

Fichier:

PDF, 627 KB

english, 2009

42

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1579 || Symbolic Model Checking without BDDs

Cleaveland, W. Rance

Année:

1999

Langue:

english

Fichier:

PDF, 386 KB

english, 1999

43

Comparing model checkers for timed UML activity diagrams

Daw, Zamira, Cleaveland, Rance

Journal:

Science of Computer Programming

Année:

2015

Langue:

english

Fichier:

PDF, 3.53 MB

english, 2015

44

[ACM Press the 8th ACM SIGSOFT international symposium - San Diego, California, United States (2000.11.06-2000.11.10)] Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8 - A compositional approach to statecharts semantics

Lüttgen, Gerald, von der Beeck, Michael, Cleaveland, Rance

Année:

2000

Langue:

english

Fichier:

PDF, 1.04 MB

english, 2000

45

Practical techniques for the design, specification, verification, and implementation of concurrent systems

Cleaveland, Rance, Lewis, Philip M., Smolka, Scott A.

Journal:

ACM SIGSOFT Software Engineering Notes

Année:

2000

Langue:

english

Fichier:

PDF, 236 KB

english, 2000

46

Triggered message sequence charts

Sengupta, Bikram, Cleaveland, Rance

Journal:

ACM SIGSOFT Software Engineering Notes

Année:

2002

Langue:

english

Fichier:

PDF, 905 KB

english, 2002

47

Specification formalisms for component-based concurrent systems

Cleaveland, Rance

Journal:

ACM SIGSOFT Software Engineering Notes

Année:

2000

Langue:

english

Fichier:

PDF, 251 KB

english, 2000

48

[ACM Press the 10th workshop - Saint-Emilion, France (2002.07.01-2002.07.01)] Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC - EW10 - High-confidence operating systems

Grosu, Radu, Zadok, Erez, Smolka, Scott A., Cleaveland, Rance, Liu, Yanhong A.

Année:

2002

Langue:

english

Fichier:

PDF, 87 KB

english, 2002

49

[ACM Press the tenth ACM SIGSOFT symposium - Charleston, South Carolina, USA (2002.11.18-2002.11.22)] Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '02/FSE 10 - Triggered message sequence charts

Sengupta, Bikram, Cleaveland, Rance

Année:

2002

Langue:

english

Fichier:

PDF, 213 KB

english, 2002

50

[ACM Press the 20th IEEE/ACM international Conference - Long Beach, CA, USA (2005.11.07-2005.11.11)] Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05 - Efficient temporal-logic query checking for presburger systems

Zhang, Dezhuang, Cleaveland, Rance

Année:

2005

Langue:

english

Fichier:

PDF, 229 KB

english, 2005